Computer Laboratory - PDFSEARCH.IO - Document Search Engine

Computer Laboratory
Results: 4525

#	Item
481	Exploiting Concurrency Vulnerabilities in System Call Wrappers Robert N. M. Watson Security Research Group Computer Laboratory Add to Reading List Source URL: www.watson.org Language: English - Date: 2007-08-06 09:53:24 System calls OpenBSD Systrace Time of check to time of use Kernel Exec Wrapper function Linux kernel Wrapper Architecture of Windows NT Ioctl
482	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
483	Eye Tracking in Advanced Interface Design Robert J.K. Jacob Human-Computer Interaction Lab Naval Research Laboratory Washington, D.C. Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2011-01-15 20:23:51 Eye Visual system Vision Multimodal interaction Cognitive science Eye tracking Eye movement Saccade Human eye Smooth pursuit Fixation Head-mounted display
484	Introducing the CrySyS Lab Levente Buttyán Laboratory of Cryptography and System Security (CrySyS Lab) Department of Networked Systems and Services Budapest University of Technology and Economics www.crysys.hu Add to Reading List Source URL: crysys.hu Language: English - Date: 2016-07-26 04:36:44 Cyberwarfare Malware Rootkits Cryptography CrySyS Lab Duqu Stuxnet Flame Wiper Computer security Communications security Ambient intelligence
485	A Taxonomy of Programming Models for Symmetric Multiprocessors and SMP Clusters W. W. Gropp and E. L. Lusk Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Parallel computing Thread Multiprocessing Message Passing Interface Symmetric multiprocessing SPMD Shared memory Scheduling Spinlock Gang scheduling Synchronization Mach
486	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
487	Scalable Unix Tools on Parallel Processors William Gropp and Ewing Lusk Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL, 60439 Abstract Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Find Filter GNU parallel Parallel computing Grep Environment variable Unix Inter-process communication Xargs MapReduce
488	SummerINSIDE THIS ISSUE From the Director • P.2 Community Updates • P.3 Class photoss • P.3 Add to Reading List Source URL: thebookplace.org Language: English - Date: 2016-07-25 14:25:59 BCPL University of Cambridge Computer Laboratory Catlettsburg Kentucky
489	eQuus: A Provably Robust and Locality-Aware Peer-to-Peer System Thomas Locher, Stefan Schmid, Roger Wattenhofer {lochert, schmiste, wattenhofer}@tik.ee.ethz.ch Computer Engineering and Networks Laboratory (TIK), ETH Zuri Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:45 Distributed data storage Clique Chord Kademlia Distributed hash table Tapestry Adolescent cliques Content addressable network Pastry Clique percolation method Maximal independent set
490	From Abstractions to MODELS: MOdels for Distributed and Extremely Large-scale Science Shantenu Jha1 , Daniel S. Katz2 , Matteo Turilli1 , Jon Weissman3 1 RADICAL Laboratory, Electric and Computer Engineering, Rutgers Un Add to Reading List Source URL: danielskatz.org Language: English - Date: 2016-02-12 03:29:34 Systems engineering Parallel computing Distributed computing Data-intensive computing Cloud computing Middleware Abstraction SHIWA project

UPDATE